Functional calculus - PDFSEARCH.IO - Document Search Engine

Functional calculus
Results: 647

#	Item
271	How to Create XSLT Functions that Manipulate Functions (a.k.a. Higher-Order Functions) Roger L. Costello SeptemberIntroduction Add to Reading List Source URL: www.xfront.com Language: English - Date: 2010-09-26 11:23:39 Higher-order functions Subroutines Functional languages Functional programming Lambda calculus XSLT Function C Map Computing Software engineering Computer programming
272	Gibbs measures and the Ising model Jordan Bell July 1, Let Λ be a finite subset of Z2 and let Λ0 = Z2 \ Λ. Let σ 0 ∈ {−1, +1}Λ , a Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2014-07-01 23:52:28 Measure Measure theory Probability theory Sigma-algebra Holomorphic functional calculus Mathematical analysis Mathematics Spectral theory
273	Genuinely Functional User Interfaces Antony Courtney 1,2 Dept. of Computer Science Yale University New Haven, CT 06520 Add to Reading List Source URL: conal.net Language: English - Date: 2001-09-17 19:15:42 Lambda calculus Digital electronics Logic in computer science Digital signal processing Fixed-point combinator Recursion Transformer Monad Combinatory logic Theoretical computer science Electronic engineering Applied mathematics
274	GC-savvy Closure conversion GC-savvy Closure conversion Miguel Garcia Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2012-07-03 03:14:52 Subroutines Functional programming Compiler optimizations Lambda calculus Object-oriented programming Inline expansion Closure Java D Software engineering Computing Computer programming
275	INTRODUCTION TO REAL ANALYSIS William F. Trench Professor Emeritus Trinity University Add to Reading List Source URL: home.aubg.bg Language: English - Date: 2010-12-01 14:22:21 Functions and mappings Differential calculus Integral calculus Functional analysis Integral Lebesgue integration Differential equation Improper integral Real analysis Mathematical analysis Mathematics Calculus
276	In IEEE International Symposium on Adaptive Dynamic Programming and Reinforcement Learning, [removed]Bounds of Optimal Learning Roman V. Belavkin Abstract—Learning is considered as a dynamic process described by a trajec Add to Reading List Source URL: www.eis.mdx.ac.uk Language: English - Date: 2009-04-08 13:14:23 Functional analysis Hahn–Banach theorem Vector space Convex function Distribution Mutual information Lp space Dual space Calculus of variations Mathematical analysis Mathematics Algebra
277	Arity-Generic Datatype-Generic Programming Stephanie Weirich Chris Casinghino University of Pennsylvania Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:01 Abstract algebra Universal algebra Functional languages Generic programming Structure Lambda calculus Map Haskell Operation Mathematics Software engineering Computing
278	Under consideration for publication in J. Functional Programming 1 Boxes Go Bananas: Encoding Higher-Order Abstract Syntax with Parametric Polymorphism∗ Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:02 Type theory Functional programming Data types Higher-order functions Lambda calculus Higher-order abstract syntax Eval Catamorphism System F Software engineering Computing Declarative programming
279	Self-Reproducing Programs in Common Lisp Peter Norvig Computer Science Division, University of California Berkeley, CA 94720 Add to Reading List Source URL: www.norvig.com Language: English - Date: 2003-10-26 19:45:42 Lisp programming language Lambda calculus Functional languages Functional programming Lisp Eval Combinatory logic Scheme Lambda Software engineering Computing Computer programming
280	Dependent Types: Easy as P IE Work-In-Progress Project Description Dimitrios Vytiniotis and Stephanie Weirich University of Pennsylvania Abstract Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:26 Type theory Data types Functional languages Formal methods Theoretical computer science Dependent type Lambda calculus Type system Generalized algebraic data type Programming language theory Software engineering Computing

UPDATE